Leslie Lamport (auth.): шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (13)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

2

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 8.85 MB

0 / 0

english, 2008

3

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

Рік:

1992

Мова:

english

Файл:

DJVU, 7.05 MB

0 / 0

english, 1992

4

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 7.37 MB

0 / 0

english, 2008

5

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Рік:

1990

Мова:

english

Файл:

DJVU, 7.52 MB

0 / 0

english, 1990

6

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 8.22 MB

0 / 0

english, 1996

7

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Рік:

1990

Мова:

english

Файл:

PDF, 15.92 MB

0 / 0

english, 1990

8

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

Рік:

1992

Мова:

english

Файл:

PDF, 15.33 MB

0 / 0

english, 1992

9

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)

Рік:

1993

Мова:

english

Файл:

DJVU, 3.96 MB

0 / 0

english, 1993

10

Distributed Operating Systems: Theory and Practice

Distributed Operating Systems: Theory and Practice

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)

Рік:

1987

Мова:

english

Файл:

PDF, 8.47 MB

0 / 0

english, 1987

11

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

Рік:

1989

Мова:

english

Файл:

DJVU, 7.09 MB

0 / 0

english, 1989

12

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

Рік:

1989

Мова:

english

Файл:

PDF, 17.98 MB

0 / 0

english, 1989

13

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)

Рік:

1993

Мова:

english

Файл:

PDF, 7.03 MB

0 / 0

english, 1993